Slightly better header
Closed #12; closed #11