Completing library deletion

See notes on previous commit