Version 1.57: bug fix