doc minor fix.