Version 1.40: bug fix