Update documentation; make minor changes