Some small pieces of doc added.