Merge pull request #1194 from palmtenor/minor_fixes
author4ast <alexei.starovoitov@gmail.com>
Mon, 22 May 2017 06:24:02 +0000 (23:24 -0700)
committerGitHub <noreply@github.com>
Mon, 22 May 2017 06:24:02 +0000 (23:24 -0700)
Minor fixes for example and compiler warning


Trivial merge