Fixes #5311