Very minor whitespace adjustment.