Changed formatting for better display of the example