minor style update of docs