Bug fix #65