[minor] Fixed Driver.v