Minor fixes to CoerciveLists.