Mine depleted message issued too soon?

[Kistrel]

(version r6720)

Could the mine depleted message please be issued after the serf took the last piece of ore instead of when he takes up the job? This way, when the message is received the mine is more reliably ready to be demolished...

[LauraRozier]

That'd take away a part of the challenge, plus the miner should report the mine being empty, the serf wouldn't go further then to storage. On one side I'd say it's a good enhancement, on the other side I think it takes away some of the challenge and realism.