This appears to be a mistake, but I didn't follow the GSO stuff
very closely, so there could be some non-obvious reason.