I just installed 0.7.3 and the problem is fixed. A big thanks to you and your development team for your continuous efforts. Thomas Oliver Klee wrote: > This is a known bug which will be fixed in 0.7.3 (which I will release > today or tomorrow, if everything goes well).