minor tweaks to CI and readme