fix some typos introduced while making the code nicer