fixes #5934