fixes #5103