GWT compatibility; name change