Cleanup after fixing travis issue