Fix undefined variable (due to a name change; missed one).  Resolves issue #428.