Formatting changes

As requested by Denis Defreyne