few minor alterations in code and in documentation