fixed a bug in alloy_printer