quick fix to CI