diff --git a/keyserver/bash/run-prod.sh b/keyserver/bash/run-prod.sh
index cd9d443d0..75d657114 100755
--- a/keyserver/bash/run-prod.sh
+++ b/keyserver/bash/run-prod.sh
@@ -1,9 +1,10 @@
 #!/usr/bin/env bash
 
 # run as: node user
 # run from: keyserver dir
 
 set -e
 
+# shellcheck source=/dev/null
 . ~/.nvm/nvm.sh
 nvm exec npm run prod