tweaks of docs