fix issue#12