A sharpened version of the Aanderaa-Rosenberg conjecture