Minor reformatting change