Jerry2 made several more changes
jerry2 replace : to ->
Merge pull request #1 from i042416/dev

try to merge two commits from dev into master branch via function provided by github - Jerry1