fixes #3867