Correction on doctor logic