space after cast is already correct, see #5114 and  #4099