fixed minor mistakes in docs