Updated a couple of docs and fixed a small (and probably never hit) bug in the configure script