What is the purpose of this? It produces a lot of churn in parameters.tex.