Made some trivial changes.