Of course. That I had completely forgotten ...