Tiny bit of style cleanup.