fixes #3585