Minor change to export of geppetto