Got rid of an extra level of {} and funny formatting that was still

there because of the NeXT history.