make printing instruction names optional