fixes #9574