small correction in the texts