Minor change to list.h