Fix documentation slightly