Corrected GWT compiler error