Ah, dear! My bad! We'll release a bug-fix patch today or tomorrow, and I won't forget to include this one in the mix!
