Bah, I thought I had woken up at nine, but then I turn around and it's 10:30.