Fixing a bug in smart array lists