fixes on style of documents and test cases