fixed search for non-existent coverage file. also updated the demo