Fix for OrCmds printing

This would close #3504