Bugfix #6: Geoserver extension is not working