Fix #56: Broken boxing of Byte.