diff --git a/doc/credits.dox b/doc/credits.dox
index 9bf8b54ba..14959fef0 100644
--- a/doc/credits.dox
+++ b/doc/credits.dox
@@ -81,6 +81,8 @@ Big thanks to everyone involved!
 Are the below lists missing your name or something's wrong?
 [Let us know!](https://magnum.graphics/contact/)
 
+-   **Aaron Gokaslan** ([\@Skylion007](https://github.com/Skylion007)) ---
+    various minor code modernization
 -   **[\@abgita](https://github.com/abgita)** --- minor typo fixes
 -   **Alan Jefferson** ([\@alanjfs](https://github.com/alanjfs)) --- extensive
     usability and first-time-use feedback