fix printing of names (used in data section for instance)#391

redianthus wants to merge 2 commits intoOCamlPro:mainOCamlPro/owi:mainfrom

redianthus:dataprintredianthus/owi:dataprintCopy head branch name to clipboard