Fix [ bug #736 ]