fix minor issue with dppx