final fix for Travis (oh, pls be it)