WYIL: bug fix for #249
WYJC: removed debugging code for #249: