fixes #5964