Fix clover.xml