fix the help() prototype