Jorisvandenbossche's formatting notes