crespo: Minor coding-style-related changes