Minor modifications
Added Travis config