Sorry for the noise, when I was sending my reply I didn't know that Felix has already taken care of the bug.
Sorry for the noise, when I was sending my reply I didn't know that Felix has already taken care of the bug.