Change do notation format