[NOP] Minor cosmetic change.