More formatting for Mac OS X instructions.