Minimal patch to fix iocmd-23.11.  Might not be the best fix, but is *a* fix.