Bug fixes: