Fix a wrong output