Bug fix #8