Bug fixes in paeq64 and paeq80