Minor bug fix in PNaCl backend