Version 1.35: bug fix