Coverage of 0/0 is now 100% (not 0%); minor output cosmetics