fixes #3713