Dick, you are right. It should be 10 pts for the winning driver. All scores adjusted accordingly.
Jethro.