On Sun, Dec 18, 2016 at 12:47:59AM +0100, Marius Bakke wrote:
> Whoops. Fixed in 7b6ff42aa3cf9398213d3c1f0e5f87c45a9730df.

Thanks! I started a new evaluation.