Perdón, debería de haber escrito en este changeset: https://www.openstreetmap.org/changeset/172627857

Aprovecho para decir que si lo que te preocupa es que no esté el nombre genérico "Mas". Tanto la AVL con la colaboración del Ayuntamiento de Moró como el Nomenclátor Geográfico de Municipios y Entidades de Población tienen recogido el lugar como "Correntilla". Podría añadirse "Mas de Correntilla" como alt_name.