Bug fix #377