Two typos as reported in #605