Fixes #5337