bugfix for some typos