Fix silly naming bug