Minor changes in doc comments