[AlbertoGP]

Ah, this fixes the problem I mentioned in https://news.ycombinator.com/item?id=44501362 and was also reported in an earlier reply by someone else there: https://news.ycombinator.com/item?id=44508433

Thanks!