Some doc fixes, suggested by Vladimir Panteleev.