more fixes

I don't think I get github's workflow, quite.