Fix check target
Hopefully fixes CI