Fix a tiny bug