fixes #3955