minor fix in doc comments