Fedora 17 Update: covered-0.7.10-1.fc17