Version 0.13.0: fix bugs, refactor some code, and improve code lint