fix a doucumention error