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!