Reformat example 3.3.3