TODO. Minor style tweak.