Minor file style edit.