I see. A song can have either one Coda symbol (which indicates the Coda section), or two, in which case the first occurence denotes the Coda jump.
I must have overlooked the first alternative. Thanks for pointing this out.