tree 9e590825452571c8e87d56011a711fe08de44317
parent 72cf4e757110c209f2c25e9e67503f71a8eff6f7
author Hao Zhu <haozhu233@gmail.com> 1495484996 -0400
committer Hao Zhu <haozhu233@gmail.com> 1495484996 -0400

minor changes to the docs