Bug fixes #3.