some documentation improvements, minor stuff.