tree be7fdc33507341b3e662f7ee1e04b5be94bd13e7
parent b89166cc4daea4562c86e009b3db203b3afe77ff
author Nikhil Ramakrishnan <ramakrishnan.nikhil@gmail.com> 1546180328 +0530
committer Nikhil Ramakrishnan <ramakrishnan.nikhil@gmail.com> 1546180328 +0530

Minor documentation fix.