more fixes for generation of docs