Clean up a couple docs mistakes.