More doc fixes #2