Tiny docs fixes