proper internal commands, options