fix bug in pudding array_keys