bug fix for #64