fixes #3377