documentation supplemented