Fix docs filtering