Remove extra whitespace in HTML header after #205

Update history for #205