fixes #5163