Bug fix #375