Fix a stupid mistake