diss: stylistical changes in 3.2.2