Bug fix #3