Fixed the list procedures for #f