Fixed a lint error :(