* Removed redundant (lispify-name)