Category:Ido terms with redundant head parameter