fix bug (issues #80)