Fix up doc target