Fix stupid typo (would be nice if cmdliner were able to spot these ambiguities)

Fix #575