fixes #3953