I guess wrapping the ``doc`` directive is not a good idea.