Superficial documentation tweaks