Fixed interpretation of do_correct