Minor style tweak to source code.