More little adjustments to printcore.py output