Fix bug in info_cmd.js