update to v1.3.5: bug fix