tree 0b25340a560e8eef9012f70076cd727c87ffc7ea
parent 182cfbdd9ba1025a9cd78823ce6b6be232757a56
author Hao Zhu <haozhu233@gmail.com> 1516421882 -0500
committer Hao Zhu <haozhu233@gmail.com> 1516421882 -0500

Fix a typo in Doc