Correct pbs checking in execute_decoder().