Update to 1.3.5 in comments