Fixes to compile pleaides.pla without errors