Fixed the bug in pr.ml!