Fixed typos reported by @jaor