Fix #67 : better output on export