Thread:BunsenH/@comment-43644217-20190827230804/@comment-24577221-20190902043357

It was a small, harmless mistake. It's not necessary to call attention to stuff like that.