Fixing issue #65: Voiding division undefined exception