GitHub #163: Make headers smaller