fixed a small printing bug