Fix a very silly mistake