fix typing in fuzzy cover tests