Tidying up white space; no substantive changes.