Documentation updates in the source