Bugfixing typos, thanx to Carlos Davila for pointing them out