I saw a travis-ci failure, fixing the lint issue