Swiss 1980 5 francs (proof) [solved]

There is a bit of an issue with the 1980 proof 5 francs in the catalogue. There is an entry for the regular circulation type and then there is an entry for what appear to be a proof but with B mintmark identification which was officially omitted from coinage at that period. And the 10,000 mintage (as per Krause) is missing. So this may be a record of the lonesome variety or a mistake of some sort. Can respected arbiter review and correct the entry? Thank you.

You can make those changes yourself and submit to the referee for validation.  Use SCWC for justification.

https://en.numista.com/catalogue/contributions/modifier.php?id=195

Thank you, done.