fixes to satisfy Travis