Fix [ bug #733 ]