Corrections for Boca del Barco (Boca de San Juan)

When something we published was wrong, we fix it and say so here, with the date.