Fixed a bit of lint