Revision 035e5e935e7b54e80ce0ccee60145fb08e0a56b6

Committed on 12/09/2016 2:49 am by xinyuexrow <wang@xrow.de> [GitHub Diff]

A little bug fix