Cleanup PicoDDS a little bit.