Found two typos