supress cover due to an error in ephp_interpr :-?