Again, why the /. here ?