Fix @doc tags.