Prevent useless filter operation in docs
Merge pull request #3074 from Jentsch/filterInDocs

Prevent useless filter operation in docs