diff --git a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
index 0b98f621b0..c84b7668dc 100644
--- a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
@@ -6,7 +6,7 @@
 
 @title{Redex: Practical Semantics Engineering}
 
-@author["Robert Bruce Findler" "Casey Klein"]
+@author["Robert Bruce Findler" "Casey Klein" "Burke Fetscher"]
 
 PLT Redex consists of a domain-specific language for specifying
 reduction semantics, plus a suite of tools for working with the