Fix bug with 0-length coverage files.