Is this no longer true, specced elsewhere, or do we just not care?