(Partly) fix ugly header spacing.