typos and updated CI