diff --git a/web/build.sh b/web/build.sh
index 13257a39..da521010 100755
--- a/web/build.sh
+++ b/web/build.sh
@@ -12,6 +12,9 @@ if [ "$1" != "--quick" ]; then
 	mkdir -p web-build
 
 	pip install -r requirements-docs.txt
+	# RP has PSI/J as a dependency. However, this causes
+	# two sets of executors to be installed.
+	pip uninstall psij-python
 
 	if [ "$1" == "--dev" ]; then
 	    make web-docs-dev