Minor white-space cleanups.