fix xsf to sxh generation; prettify it a bit