Category:Phake terms with redundant head parameter