Dynavector 10x5

I just received this cartridge in the mail. It comes with 2 small plastic washers in the hardware bag, but there's no mention of them in the instructions. Am I correct in assuming that these are meant to be fitted between the top of the headshell and the mounting screws?

Thanks for the info :)