Fix a typo in the help for --cover-min-percentage.

Regenerate the man page too.