Ah, @laruence is right. Stupid me.