fixed a glitch in the driver spec