fixes #3275