bug fix on documentation