Fix example 3

And also some formatting changes