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