Better default for mouse-wheel-scroll-amount