Fixed documentation build error

This should be merged into all branches, I don't now if that's done automatically in this repo.