Fixes #4611.