Update doc up to recent changes
-- whitespace