fixing some typos (fixes #3)