Fix some double semicolon.
Merge pull request #3781 from shenweip/master

Fix some double semicolon.