New York Public Library On 42nd Street Gets Facelift