Fix typos pointed in #4