More doc fixes #3