fixes #3411