Fixes #5339