Licence header again
Wrapped DISCO libraries.