State.ids field is now using getter