and a couple of other minor doc fixups.