Fix a short output bug