Ah, I see, sorry about that :) This is now fixed