[config] Two variable renamings were apparently missed
during 241eeeaefeff5bd2753a507ede358bc754b87c35 on Jan
01 2013.  Correcting them.