fixes #5497