fix #4033 (part 5)