Doc updated; minor bug fix