a trivial patch


--
Zhiwei Chen