diff --git a/src/latex/agda-latex-macros.sty b/src/latex/agda-latex-macros.sty
index aacc49f07..067aa940a 100644
--- a/src/latex/agda-latex-macros.sty
+++ b/src/latex/agda-latex-macros.sty
@@ -171,7 +171,7 @@
 \newcommand{\Coin}{\AgdaFunction{Coin}\xspace}
 \newcommand{\Computational}{\AgdaRecord{Computational}\xspace}
 \newcommand{\Credential}{\AgdaFunction{Credential}\xspace}
-\newcommand{\CredentialType}{\AgdaDataType{Credential}\xspace}
+\newcommand{\CredentialType}{\AgdaDatatype{Credential}\xspace}
 \newcommand{\Crypto}{\AgdaRecord{Crypto}\xspace}
 \newcommand{\canVote}{\AgdaFunction{canVote}\xspace}
 \newcommand{\case}{\AgdaFunction{case}\xspace}