more tweaks to get the ListView ArrayAdapter right.