simplifying as good as possible, correction on triu