fixed a minor print issue