Minor doc updates in the configure script