Fix pretty printing of HRTB syntax