Fix the bug in translating a policy