Remove another OverloadedList pragma