A patch with a fix is attached.