fixes #4998