Very minor style improvement.