Pretty-printer: Paper over an ambiguity between line table entries