typos spotted by Henrik