Further reformatting of examples