See comment at line 239 below.