Some small fixes I found while reading the documentation.