some minor doc and style changes