remove redundant template parameter in formula