fix semantics for binaries