A correction to "concepts of general topology in constructive mathematics and in sheaves"