Fixed getSema()/getDerived().getSema() diff pointed by Hal Finkel.