fixing various minor mistakes and typos