Fixed accidental unhelpful change in documentation comments