Fix doc-push