prettying up the code a bit. no substantive changes.