Document reason for identical code in resnet.c line 613