Talk:Mini-Mine/@comment-12689063-20130719100433/@comment-7326455-20130719104954

Yeah, I always thought that was probably a bug. I don't really think it's worth making a special note of it in the article, though...