fixes #3939