Update manager.cc

Done.  I think.