bug fix

bug fix for issue#12