Little fix on documentation