Oops. Corrected the name change in docs also.