Category:Olukumi terms with redundant head parameter