Fix minor print bug.