fixes related to plexi@0.1