OptionList: Fix an error in doc for scroll_down()