removed a small printing error