GWT bugfix