fix specs on CI