Minor fix taking care of less-smooth horizontal scrolling