Fix foldr test