Fixed a lint bug here