Fix a typo in help output