fixing typos introduced in previous commit