Use isset, not array_key_exists

Apparently it's faster? Bloody php.

Change-Id: I76a483f089a65b661215e8673f7458f1e6d9131e