Fixes GWT compatibility issue #73