You can use a pencil sharpener to repair a broken lead.