Fix #377.