Restyle header (fixes #276)