more minor doc stuff