fixed typos, clarified definitions