Fixes in list.h