[NOP] cosmetic correction