Version 1.55: bug fix