Some doc updates for #154