Minor fixes to hodgprint.py