Coverage option in `files`