Fix typo in printcore.py