fix a wrong naming in the previous commit