Removed `dev` from Travis-CI.