More minor tweaks to bootstrap documentation.