Correct another mistake

Now I find it not right to directly commit into master on Github...