Version 1.39: bug fix