final polishing and bugfixing to the README