Fix issue #42: incorrect help text