Fixed Domain for PPX

Fixed the domain for ppx in the code