fixes #3906