should you check `isset($info[$key])` or does that not matter?