fixed up the printing on the plus-times operation