Fix a faulty rename