Hello Jakub,
You are right, good catch. For all the cases, the mac address is going to be stored in the chip registers just in case (original behavior), and if the mac address was invalid the first time, a random one will be stored, so that when the mac address is read again from the chip registers will be a locally administered address (random). I will complete as you say.
Thanks
Best regards Jos�� Ignacio