Get rid of arbitrary man page header