Editing: UnintentionallyCoveredCodeError.php