On Fri, Dec 22, 2017, at 10:34 AM, Felix Matouschek wrote: > Hello Michael, > > I fixed the things you mentioned. New patch attached. > > Felix I think you forgot to attach the patch.