Fix iPad discrete scrolling. #8.