Minor reformatting