Merge pull request #1493 from christos-P/patch-1
authorJan Kotas <jkotas@microsoft.com>
Fri, 4 Sep 2015 17:46:39 +0000 (10:46 -0700)
committerJan Kotas <jkotas@microsoft.com>
Fri, 4 Sep 2015 17:46:39 +0000 (10:46 -0700)
minor correction


Trivial merge