cosmetics: tiny whitespace fixlets