Fix typos introduced by previous commit