coding style: changed space after cast