fixes #8134