Minor reformatting.