Prettifying the example.