Very minor style change