some little typos that showed up in jenkins