[2020] Silver mine minor issue

Hey @stelagel, thank you for bringing this to our attention, we’ll relay this information to the developers.