Fixes #5965.