fixes #3613