Prettier printing of --alt-hint clauses