Fix issue 3898