Documentation comment changes: missed from previous commit