Trivial travisfication.