[PATCH 0/3] Fix CI, build, and a typo