Eek! Sorry about the reformatting. Didn't realize my editor would reformat when I saved. Trivial issue, but apologies nonetheless.