found two typos