tiny fixes for CI