fixed the build for the docs, I hope