bug fix in the SDSL Alloy printer