Yes I thought a machine was used as well, but full credit to whoever did this for the effort to produce the English even with a machine, at lease it makes it possible to understand and follow, and it's pretty easy to get the context and understand what's going on when the text is a little quirky.