minor fix at the archlinux search engine