[Valec]

Thanks a lot! This was indeed the problem, I was sometimes stuck at 5), and sometimes not, and I could not make out any systematic behaviour. But a little speedup would be nice, starting evopedia is quite slow.