Eliminate duplicate constants in manpage.