Fixes #5953.