chiark / gitweb /
Fix a typo in vmtools.py