tiny codestyle fix; typos corrected