tweaks so that Travis doesn't complain