small fix in docs and libs