Bugfixes: typos