PNaClContext: minor bug fix