If @bnoordhuis complains about it, and cpplint doesn't, then I'd consider that a bug in our cpplint script.