Bugfix: printcore.py -s was generating garbage output