bug fix in alloy_printer