Fix pretty printer when there are multiple lifetime parameters