Rob's changes to stylize the man page