documentation revised, shorter.