Leftover docs issue

fixes #7552