Another one fix for getSema()/getDerived().getSema()