Fix duplicate help message--my bad