trace revisited, documentation updated
documentation and minor changes
minor fixes in documentations