Small changes to documentation and lib include