Minor fixes of @deprecated comments