Minor reformatting changes