diff -r a8ee8e4884ec -r 64559e1ca05b CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Apr 24 11:07:18 2018 +0200
+++ b/CONTRIBUTORS	Tue Apr 24 14:17:57 2018 +0000
@@ -7,7 +7,7 @@
 --------------------------------------
 
 * March 2018: Florian Haftmann
-  Abstract bit operations push_bit, push_take, push_drop, alongside
+  Abstract bit operations push_bit, take_bit, drop_bit, alongside
   with an algebraic foundation for bit strings and word types in
   HOL-ex.