correct some documentation