Tiny lint fix

Change-Id: I27554ce3f14b12afaa346413d5bb991c0210ea97