fix small error in c04cf3ea517ea0a2efae740ecef078406e559b54