Fixes #4462.