Our version only adds some commented code, so it is not really
necessary. But it is cleaner to handle it that way.