See line comment below.