fix issue 4212