some whitespace-related issues