BUG: Make sure tipue is defined early