good catch -- I guess it should go indeed