Fix the spacing around some <h3> headers

Created by  Eelco Dolstra  on April 15, 2012
ADP54EI4ATQO5JCOS4D52TMCAOKXIINCFV5OOA3GYSJ4JQXQEXIAC
Change contents