formatting: pads + operator in disambiguation method