Fix bug #377