return an empty list, like the branch below?