fixes #3218