fuxialexander minor fixes
Latest commit 44f1eb3 Jul 11, 2018