Fix a stupid bug and add command.ml