fixed a bug in output.py that caused print failure on non-int types