fixes #9279