A minor style correction