It seems that v7.1 has not solved #32:

I tried loading the current git version but that seemed not to solve the issue either.