oops, forgot to fix lint errors after recording gif :)