Category:Dakota terms with redundant head parameter