Fix formatting for example