tiny code style fix; typos corrected