Fix error in help message about Maurer test syntax.