fixes #9001