Fix a wrong printing