dot might be even nicer for travis