scattered minor improvements of documentation and presentation