(#2) mini fix, to get CI green