Fix for OrCmds printing

This would close #3504
Merge pull request #3505 from swadey/patch-1

Fix for OrCmds printing