Tiny addition to previous bug fix (list simplification was not done properly)