Bug-fixed issue #8.