Fix small naming bug