some trivial cleanups in libsmon.py