fixed up some minor things regarding gwt