Just more little fixes of documentations...