Fixing listLenRec.p exceptions