How do you make man coverage work?