Fix bug messing up GWT compiler