Fix silly rename bug