fixes #5352