Fix some obvious errors in cover tests