Fix some top-level doco