#3390: replace a remaining has_key().
1 file changed