Minor cleanup on file extensions and README