I still can't make my mind up as to whether that's an in-joke or just coinkydink.