am 8031fa01: Fix build due to @deprecated tag not having content

* commit '8031fa014cd9f8bb9eb7de47b76a732cdfade687':
  Fix build due to @deprecated tag not having content