Removed bugs in pr.ml, but it's still not working