and annotated the undocumented parts