Fix up GWT module