Bug fixes: typos