Issue #44: Fix the zoom behaviour with mouse wheel.