This patch fixes a bug which could prevent you from launching a rocket if some cases.
It also makes it possible to use several small Miners on a single large ore deposit, but still only one Advanced Miner per deposit.

Thanks for your feedback!