Changed trivial.tx