@miconda As I noticed that you are working on some other topos fixes right now, I don't wanted to simply merge it and cause problems with your work in progress fixes. Sorry if this caused confusion, I'll merge it of course as I was the one caused the regression.