fixes #3218

fixes #3218