(push_key_description): Fix previous change.