diff --git a/stdpp_bitvector/bitvector.v b/stdpp_bitvector/bitvector.v
index 5a5f694b2cfdcb4807c1a78522cb92eae5f15837..8a50d3673ed2ef281d23faf969a34d1e54c40f02 100644
--- a/stdpp_bitvector/bitvector.v
+++ b/stdpp_bitvector/bitvector.v
@@ -1,2 +1,3 @@
+(** This file is maintained by Michael Sammler. *)
 From stdpp.bitvector Require Export definitions tactics.
 From stdpp Require Import options.