fixes #7339