minor doc and style tweaks