fixing some typos (fixes #2)