correction of small mistakes