Fix lint docs breakage.

Bug: 112657134
Test: make docs
Change-Id: Ic0a22dd9c2023362bbb65b80cb78990ace7caac4
2 files changed