bugfixes in plait