Fix typo in file name.
Source formatting.