fixed documentation (file name has changed)
Merge pull request #1599 from jhilden/patch-1

tiny documentation fix