What to do when a professor is incorrect?