Fix: (reported by Flaf) typos