fixes #3031