Yep that's a known bug but thanks for reporting.
What's the point of mining a boulder when we can just mine the metal deposits around them which give more chance of metal than a boulder?
Yes the boulders need some re-balancing. At the moment boulders take half as long to mine, also there's no restriction on where the bot mines. They don't need an empty tile