Minor fix to extension file.