diff --git a/README.md b/README.md
index a9b9e89..5688d0c 100644
--- a/README.md
+++ b/README.md
@@ -9,8 +9,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 
-[docker-action-shield]: https://github.com/coq-community/bignums/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/bignums/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
diff --git a/plugin/dune b/plugin/dune
index f0cfc1a..989abf0 100644
--- a/plugin/dune
+++ b/plugin/dune
@@ -1,7 +1,6 @@
 (library
  (name bignums_syntax_plugin)
  (public_name coq-bignums.plugin)
- (flags :standard -rectypes)
  (libraries coq-core.vernac))
 
 (include_subdirs no)