Version 1.14: bug fix