Small improvement for pe.html: adding parameter names into methods in the tree.