Fixed broken link to "A prettier printer" paper