Slightly reformatted the file