minor formatting fix

no functional update.