You are right. I could swear that I had already done that...