Specification issue with endianness