Corrections for ’Aïn Benian

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