minor fixes for CI