In reply to a tweet by frivoal:

@frivoal @glazou ahhh whoops, I misremembered it