bug fixing of geobooty released on 19 May