found minor print bug