Fixed a mistakenly duplicated snippet; more formatting.