XXX That just shouldn't happen!