Types: remove superfluous spaces from inside heading tags

These aren't visible but seem unusual from a coding conventions
perspective, and the majority of other pages don't add these spaces.

Follows-up df69696 from 2012, when the files were first committed
to Git.