fixes #3667