Thank for your PR! If it's your first time contributing to Taichi, please make sure you have checked out Contributor Guideline (last update: Feb 18, 2019). A few simple rules are mentioned there to make us work together more efficiently :-)
Related issue id = ... (if any)