Fix naming mistake made with previous commit