Correctly export semantic-map-name symbol for supplying semantic map names