Minor improvements of docs