This is almost always the correct thing to print. If the two differ, that's bad, but print the better one.