Fix some typos introduced in 7b74a6e68c89d92c0f7e37daaae821cbe89c3816