fixes #9674