Really fix #4937
1 file changed