libvmc.py: minor formatting changes