fixes #3067