some minor doc changes