Minor details in ltx