Fixed and pushed. Do we have any ability to lint for this?