Fix documentation: replace LEB with BER