Fixed minor printing glitch.