fix travis and cover