Fix a stupid issue