minor hack to fix printing