fixes #3702