Merge "Trivial fix of doc string"