minor fix in cpplint.py