Fix typos introduced while copying