#62: GWT tree now fixed