fixes #3936