* Minor reformatting