minor reformatting in pxd file