Fix silly naming mistake