Minor WS fixes in documentation