Minor doc annotations in core