Oops, fix lint