fix a documentation lint check, and fix the lint ignore_paths