UNTESTED. Fixed problem in doc.