Fixed small printing bug.