more pretti documentation