#6: doc comment change