Fixing up whitespace in C style type casts