O.k. it turns out that I should reboot after making a new filesystem. I guess the kernel might cache some data at startup. Alan.