doc/stdlib/base: small fixes