Fix specs and travis config