Re: [PATCH] doc: replace @return by Return: