remove duplicate mention of command line options to make it clearer when...

... running cover -h