Formatting changes.

This makes it consistent with everything else.
Shouldn't there be a space between "void" and '*' for consistency with say "TVar *" just a couple of line above?