Fix compile error on GWT, sorry!