Fixes #5709.