Corrected detail in Prob5