Typos spotted by Benabik++. Closes #5.