Fix a small mistake ;)