Issue #697: Ignore options like --help after a command is found in ml

Issue #697: Ignore options like --help after a command is found in ml #524