Fix ZeroDivisionError. Fixes #5521