Minor changes to formatting and examples