Version 1.54: bug fix