Fix docs for IO.getn