Fixes #5937