fixes #3515