fixes #3827