whitespace after cast