Move secion "binaryFormat" to the right place