Added an insignificant cosmetic change to 01x03.c