Documentation updates and small changes for previous commit