Version 1.19: bug fix