Bug fix #637