Sorry for breaking threading, but I just sent 2 more tiny patches agains nicolas' master branch. 1 is a small but important bug fix against the Machine UI, the second one just a tiny formatting prettiying while I was debugging this code. Thanks Sebastian