Fix formatting. Be consistent with file extensions.