Ver. 1.12: bug fixes
Ver. 1.13: more bug fixes