use symbolic rappresentation instead of explicit FRAGILITY id as default, and fix a typo (missing newline at the end of a source)