Fix some documentation comments