Fixing typos (thanks to Philipp Gesang)