Fix a small glitch