small fix on documentation