Fix help text (fixes #1432)