Minimal stylistic change (removed blank line).