Fixes #5110.