COMMANDS.SH/cgi-name: fix a bug