Explanatory comments and stylistic cleanups.