Fix a bug in the bytevector rule