typos spotted by @nmondollot