Fix minor doc mistake