Little fix on documentation.