cosmetic: whitespace in some variable definitions