A slight refinement to rmgr.py