Last minute small changes

I know that I removed the link towards scientific-library git remo, but I could not synch otherwise with my local copy.
Sorry.