Fixing typos, see #35.