a few more little typos