Version 1.56: bug fix