Fix typos reported in #4