Minor change to extension for export