fix a documentation bug in using.dox as pointed by jeff zhang